/*
* @Author: slp
* @Date:   2018-07-05 16:26:24
* @Last Modified by:   slp
* @Last Modified time: 2018-07-06 09:36:50
*/

#include <stdio.h>

int main() {
	char *const uart_addr = 0x13000000;
	_pl01x_putc('\n');
	int a = sqrt(2);
	printf("%d\n", a);
	for(int i=0; i<1000; i++) {
		printf("11123456\n");
		char *c = "abcdef\n";
		while(*c) {
			*uart_addr = *c;
			c++;
		}
	}
    return 0;
}